大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic (5th : 1981 : University of Michigan) 的图书(共6112本)

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory and Practice of Algorithms in (Computer) Systems [electronic resource] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings

0
索取号：
作者：Marchetti-Spaccamela、 Alberto.、Segal、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional Thinking for Value Creation [electronic resource] : Proceedings of the 3rd CIRP International Conference on Industrial Product Service Systems, Technische Universit盲t Braunschweig, Braunschweig, Germany, May 5th - 6th, 2011

0
索取号：
作者：Hesselbach、 J眉rgen.、Herrmann、 Christoph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human Aspects of Visualization [electronic resource] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers

0
索取号：
作者：Ebert、 Achim.、Dix、 Alan.、Gershon、 Nahum D.、Pohl、 Margit.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Mathematical Image Processing [electronic resource] : University of Orl茅ans, France, March 29th - April 1st, 2010

0
索取号：
作者：Bergounioux、 Ma茂tine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Networks and Information Technologies [electronic resource] : Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings

0
索取号：
作者：Das、 Vinu V.、Stephen、 Janahanlal.、Chaba、 Yogesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Combinatorial Aspects of Commutative Algebra and Algebraic Geometry [electronic resource] : The Abel Symposium 2009

0
索取号：
作者：Fl酶ystad、 Gunnar.、Johnsen、 Trygve.、Knutsen、 Andreas Leopold.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings

0
索取号：
作者：Koch、 Andreas.、Krishnamurthy、 Ram.、McAllister、 John.、Woods、 Roger.、El-Ghazawi、 Tarek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Robotics Research [electronic resource] : The 14th International Symposium ISRR

0
索取号：
作者：Pradalier、 C茅dric.、Siegwart、 Roland.、Hirzinger、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Intelligence, Systems, Technology and Management [electronic resource] : 5th International Conference, ICISTM 2011, Gurgaon, India, March 10-12, 2011. Proceedings

0
索取号：
作者：Dua、 Sumeet.、Sahni、 Sartaj.、Goyal、 D. P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

From Varying Couplings to Fundamental Physics [electronic resource] : Proceedings of Symposium 1 of JENAM 2010

0
索取号：
作者：Martins、 Carlos.、Molaro、 Paolo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Rainbow of Computer Science [electronic resource] : Dedicated to Hermann Maurer on the Occasion of His 70th Birthday

0
索取号：
作者：Calude、 Cristian S.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Data Privacy Management and Autonomous Spontaneous Security [electronic resource] : 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers

0
索取号：
作者：Garcia-Alfaro、 Joaquin.、Navarro-Arribas、 Guillermo.、Cavalli、 Ana.、Leneutre、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Vision-ACCV 2010 [electronic resource] : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part III

0
索取号：
作者：Kimmel、 Ron.、Klette、 Reinhard.、Sugimoto、 Akihiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Vision-ACCV 2010 [electronic resource] : 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part I

0
索取号：
作者：Kimmel、 Ron.、Klette、 Reinhard.、Sugimoto、 Akihiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.